A note on symbols, syntax and sets
نویسندگان
چکیده
In this note I discuss some aspects of the role of symbols in mathematics. I concentrate on the mathematical treatment of mathematical symbols in the context of the syntax of formal systems, and I deal with the relationship of the concept of symbol with the notions of abstraction and set.
منابع مشابه
A note on decision making in medical investigations using new divergence measures for intuitionistic fuzzy sets
Srivastava and Maheshwari (Iranian Journal of Fuzzy Systems 13(1)(2016) 25-44) introduced a new divergence measure for intuitionisticfuzzy sets (IFSs). The properties of the proposed divergence measurewere studied and the efficiency of the proposed divergence measurein the context of medical diagnosis was also demonstrated. In thisnote, we point out some errors in ...
متن کاملThe Topology of Syntax Relations of a Formal Language
The method of constructing of Grothendieck’s topology basing on a neighbourhood grammar, defined on the category of syntax diagrams is described in the article. Syntax diagrams of a formal language are the multigraphs with nodes, signed by symbols of the language’s alphabet. The neighbourhood grammar allows to select correct syntax diagrams from the set of all syntax diagrams on the given alpha...
متن کاملA New Approach for Knowledge Based Systems Reduction using Rough Sets Theory (RESEARCH NOTE)
Problem of knowledge analysis for decision support system is the most difficult task of information systems. This paper presents a new approach based on notions of mathematical theory of Rough Sets to solve this problem. Using these concepts a systematic approach has been developed to reduce the size of decision database and extract reduced rules set from vague and uncertain data. The method ha...
متن کاملA Note on Belief Structures and S-approximation Spaces
We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempsterchr('39')s multivalued mappings and lower and upper probabilities, and have close relations to rough sets. We show that an S-approximation space, satisfying a monotonicity condition, can induce a natural belief structure which is a fundamental block in evidence theory...
متن کاملCMSC631 Program Analysis and Understanding: Class notes
2 Syntax, Semantics, & Machines for Arithmetic 4 2.1 Modelling Syntax with Inductive Sets . . . . . . . . . . . . . . . . . . . . . 4 2.2 Modelling Syntax with Data . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3 Natural Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Reduction Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012